Failure Prognosis Using Timed Failure Propagation Graphs
نویسندگان
چکیده
Timed failure propagation graph (TFPG) is a causal model that captures the causal and temporal aspects of failure propagation in a wide variety of engineering systems. In this paper we investigate the problem of failure prognosis within the TFPG model settings. The paper introduces a formal definition for system reliability based on measures of failure criticality, proximity between alarm observations, and plausibility of the estimated current system condition. An algorithm to compute the time to reach a given criticality level of the system, referred to as time to criticality, based on the current conditions of the system is introduced. The time to criticality, also known as the system’s Remaining Useful Life (RUL), can be used as a measure for system reliability at any given time in the future.
منابع مشابه
Automated Synthesis of Timed Failure Propagation Graphs
Timed Failure Propagation Graphs (TFPGs) are used in the design of safety-critical systems as a way of modeling failure propagation, and to evaluate and implement diagnostic systems. TFPGs are mostly produced manually, from a given dynamic system of greater complexity. In this paper we present a technique to automate the construction of TFPGs. It takes as input a set of failure mode and discrep...
متن کاملSMT-Based Validation of Timed Failure Propagation Graphs
Timed Failure Propagation Graphs (TFPGs) are a formalism used in industry to describe failure propagation in a dynamic partially observable system. TFPGs are commonly used to perform model-based diagnosis. As in any model-based diagnosis approach, however, the quality of the diagnosis strongly depends on the quality of the model. Approaches to certify the quality of the TFPG are limited and mai...
متن کاملA Consistency-based Robust Diagnosis Approach for Temporal Causal Systems∗
In this paper we present a consistency-based robust diagnosis approach for a class of temporal causal systems modeled as timed failure propagation graphs. Timed failure propagation graphs are causal models that capture the temporal characteristics of failure propagation in dynamic systems. In this paper, we define the problem of robust diagnosis for this class of systems and introduce an optima...
متن کاملThe xSAP Safety Analysis Platform
This paper describes the XSAP safety analysis platform. XSAP provides several model-based safety analysis features for finiteand infinite-state synchronous transition systems. In particular, it supports library-based definition of fault modes, an automatic model extension facility, generation of safety analysis artifacts such as Dynamic Fault Trees and Failure Mode and Effects Analysis tables. ...
متن کاملAn Algorithm for Diagnostic Reasoning Using TFPG Models in Embedded Real-Time Applications
Embedded diagnostic reasoners require compact modeling representations and efficient reasoning algorithms given limited available computational resources. Timed failure propagation graphs (TFPG) are compact representations used to model failure causes and progressions of conditions that are symptoms of failure occurrence, together with the temporality and likelihood of these symptom progression...
متن کامل